Fault Model and Test Synthesis for RISC-Processors

نویسندگان

  • R. Ubar
  • A. Markus
  • G. Jervan
  • J. Raik
چکیده

A general fault model on alternative graphs (AG) was developed to cover traditional functional and gate-level fault models for digital systems. The advantage of the new approach is that a uniform fault activating procedures on AG-s are applicable for different types of traditional faults. Also, it is not needed to represent functional faults explicitly by fault lists, the faults can be derived implicitly from the system description given by AGs. A hierarchical AG-based ATPG for a restricted class of digital systems (for RISC-processor type systems) was developed to carry out experiments for showing the adequacy of the AG-based fault model used in this ATPG against the gate-level stuck-at

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Guide to RISC processors - for programmers and engineers

What do you do to start reading guide to risc processors for programmers and engineers? Searching the book that you love to read first or find an interesting book that will make you want to read? Everybody has difference with their reason of reading a book. Actuary, reading habit must be from earlier. Many people may be love to read, but not a book. It's not fault. Someone will be bored to open...

متن کامل

Hardware Dependability in the Presence of Soft Errors

Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we have a choice of formal tools such as model checkers, equivalence checkers, and a range of theorem provers. Hardware reliability and fault tolerance has been studied for a long time as well, and some good solutions in the...

متن کامل

Effective Software-Based Self-Testing for CMOS VLSI Processors

Processor testing approaches based on the execution of self-test programs have been recently proposed as an effective alternative to classic external tester-based testing and pure hardware built-in self-test (BIST) approaches. Software-based self-testing is a non-intrusive testing approach that embeds a “software tester” in the form of a self-test program in the processor on-chip memory. It has...

متن کامل

Heterogeneous BISR-approach using System Level Synthesis Flexibility

| We propose a novel methodology for designing fault-tolerant real-time system to achieve optimal productivity on a single-chip multiprocessor platform using the heterogeneous builtin-self-repair(BISR) based graceful degradation and yield enhancement technique as an embedded optimization engine which exploits task-level scheduling and algorithm selection exibility. We also developed a hardware ...

متن کامل

Diagnosis in the Presence of Intermittent Faults

Several constant-time parallel algorithms for fault diagnosis have been given for the classical static-fault model. We extend those algorithms to tolerate intermittent faults. 1. Static Fault Diagnosis Imagine a robot surveying a nuclear accident. As it collects data in radioactive hot spots, its processors tend to get fried. Before too many processors fail, the robot retreats to a safe spot in...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1996